<short summary of the patch>
authorCamm Maguire <camm@debian.org>
Mon, 24 Feb 2020 20:02:52 +0000 (20:02 +0000)
committerCamm Maguire <camm@debian.org>
Mon, 24 Feb 2020 20:02:52 +0000 (20:02 +0000)
commit18f3c07d6ddc20ede2c475fcd2f8c4646ea4432f
treea1c2bd471b0903dd9f7799b8d7baa944cd3f5a7d
parent359b8ddace7dc0f73e935962400c5608767039e9
<short summary of the patch>

TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.

gcl (2.6.12-81) unstable; urgency=high

  * Version_2_6_13pre72
  * Fix to ppc64el for acl2 FTBFS bug

Gbp-Pq: Name Version_2_6_13pre73
configure
configure.in
h/arm-linux.h
h/elf32_arm_reloc.h
h/elf32_arm_reloc_special.h [new file with mode: 0644]